You're right lol the discussion got so out of hand that I forgot it was just about theoretical math in general. Well done though, probably my favourite and the least painful struggle session.