cocomoff/firstorderlogic archive