Elementary logic. -- | lit.salon