[MMD] STE(P [=#HS2] 1