Post by @grothendieck • Hey

4 is my favorite number currently