[try-out] experiment with design to ensure validity of constraints

[try-out] experiment with design to ensure validity of constraints #2479