You're on the old version of my blog. Go to new site: proofinprogress.com

👋 Hi!

I have deprecated this page and moved my blog to: proofinprogress.com

This site will stay online, but it won't be updated anymore.

Writing The "🔊" symbol indicates if an audio recording is available.