Verification
Constraints on solution