Dear everybody group! You have been engaged in ACL change(s) initiated by Daniel Zagaynov: cadical: "kotopesutility @everybody" -> "kotopesutility vt @everybody" -- Rgrds, your Girar ACL robot