constrain function, and start forwardCheck function