NNIL a study in intuitionistic propositional logic by