> Without [mutable-xor-aliased], verification becomes just as hard i get graydons point but as a counterpoint: at the point where you're adding a verifier to X

> Without [mutable-xor-aliased], verification becomes just as hard i get graydons point but as a counterpoint: at the point where you're adding a verifier to X-lang, you might as well put mutable xor aliased in the verifier instead of in the compiler.