la:logical_derivations