REFORMATION OF LOGIC