Work on logic-formalism part