add a constraint function...