An introductory logic | lit.salon