"If A is true then also B must be present otherwise no B" with Constraints - Velocity