"Since Diophantine equations are undecidable in general, there's no way to build a POSIX-compliant grep."