Added the last constraints to assert all combinations