Formal specification of complex reasoning systems | lit.salon