First implementation of the forall quantifier