"Mutant equivalence is undecidable" this makes total sense, very reasonable part of the doc, this is normal technical jargon for this stuff. but i'm giggling