tree e13a5854446660d9e50b3cbe4edbf94b6b793155
parent 9f40cee207254a22022489fb1c889ccca67f2c36
author Aria Beingessner <a.beingessner@gmail.com> 1648224603 -0400
committer GitHub <noreply@github.com> 1648224603 -0400
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJiPelbCRBK7hj4Ov3rIwAA8x0IAFqHsER5H1W56uRAObmbpMJ4
 gZ2KvDvmdaxzupPCQKSz7HcCMWTd22NDLIZnO9f8cgIMM5ak7FnSeys6pe/TtqUq
 WthPQ1Ax9t9YlyCQEOQHy32k+TZvxlsCiZlkNzalJY+AJSlZv4y8xTs+gRjW716r
 0UIOLM5dyE/j3sr6Ga1RfbHuOQQUvaqBVjufa1DtABNv19qDZvmGKEHWMrbGRxjN
 fLh38/L/9I3sdUFELNgWsMjLBeyGKTcDVFbfwlFEUIk+FeuVhT9cAvGCdj9TfCat
 57nGOY9HZ7ryVHpzzc26xhx7NJr+/T4ybVKNS7m6fn6azkiyoC1o6F2t/lPgyt4=
 =pT1D
 -----END PGP SIGNATURE-----
 

Link the old context-sensitive proof.