3 ms·an uninteresting question (and undecidable, too). how much time has been wasted on this?by zabzonk 3y agoan uninteresting question (and undecidable, too). how much time has been wasted on this?