discussion:hi:logical_derivations