magic_constraints
