3 ms·Why didn't you ran them to find simpler proof? This could also be big.by ReptileMan 2mo agoWhy didn't you ran them to find simpler proof? This could also be big.fn-mote 2mo agoThat's next week's work.