Foundations of Soft Logic | lit.salon