efficiency reasoning