Scott's theorem shows measurability implies V≠L, but this is an external judgment requiring a richer...