Users aren't lazy, they're efficient