I have another theorem that you might be interested in. It has a longer setup, specifically because I want to share the unexpectedness I felt about the result. The result itself is easy to prove in the usual informal manner ... perhaps you'd be interested in formalising it.
@Martin_Whitworth I decided from the start to allow them to do their gamification and just go along for the ride.
I don't care too much, and occasionally roll my eyes at it, but I let them do it without getting too frustration, and the "Streak" thing is a good way to help me stay on track.
@iris This is an interesting distinction of which I was unaware. It actually seems to be a dialectic difference ... not everyone I know makes this distinction.
But yes, they're different (sort of) and yes ... you are being pedantic!