Qualcuno sa dirmi qual'è la differenza tra \forall ed \exist in JML???