operations verif.java