more enforceable constraints