Allow inputs which cause intermediate invalid states & fix labels