Sorry. How’s your math?
(Better than ours apparently.)
It looks like you’ve found the hidden lounge where mathematical symbols are the parlance and proofs the topics. However, we know you probably didn’t intend to be here right now, so we’ve suggested some alternatives.