Formally equivalent math frameworks fail differently on real data | Heykuki News