A new study from Apple proves that the close relationship between testing location-invariant properties of functions and distributions disappears during verification. While query and sample complexities align during testing, they diverge sharply when verifying these properties. This distinction forces a rethink of how researchers validate symmetric function behaviors in complex machine learning models.