How can I verify this answer is correct? can you provide some kind of table to check all constraints are really satisfied?