New ZF from mauro