🔴 PS vs. UV On Formal NTTs Soundness & The Coherence Of Trait-Equalization