Track and verify required semantics

Remove the `s` of `CheckedBehaviors`. Same for the other line, of course.