Logical_effort