NNIL a study in intuitionistic propositional logic door