4 ms·Interesting work, I'll have to read through the universality proofs more later. :)by aappleby 11y agoInteresting work, I'll have to read through the universality proofs more later. :)