Anonymous ID: b3cd12 June 14, 2018, 4:19 a.m. No.1742920 🗄️.is 🔗kun >>2929 >>3277 >>1742557 Most of the proofs are in qproofs.com. Do we want 2 sites?