Named state labels for every not clause.