Constraints Types Explain Ai