 But we also think there is an undesirable feature of the BLW approach. This is due to the supremum over states appearing twice, both in \(\Delta(Q,Q')\) and in \(\Delta(P,P')\). This feature, we argue, deprives their result from practical applicability.