let neg_set s1 = e_app1 mk_rneg s1