I'm just concerned we're changing something and its tests but are now checking correctness less carefully.