let singleton e = e_app1 mk_singleton e