is often phrased as "verifiability,