Anonymous ID: 2b3d2b June 12, 2018, 9:38 p.m. No.1725055 🗄️.is 🔗kun >>5154 anyway we can summarize the proofs, then link to the maps?