@alisonkiddle@mathstodon.xyz this was fun! I did it Baez' way. Fascinating to see the range of workings for such a small problem!