An Introductory Logic door