EXISTS and FORALL
exercise for the reader :-)
Robert
Barta
13 of 17