finally all constraints are working