discussion:la:logical_derivations