Level of abstraction = k*difficulty ?