logical-effort