en:discussion:la:logical_derivations