Constraint recording