FORALL with VALUES OF

Additional Information