Hey @ColinTheMathmo, somebody else is doing @ProofinaTweet: @tinyproof
View this tweet on twitter.com
This tweet as JSON