Normal Logic - improved