Yes I agree M ”042” theorems is much “>” than “5” practice theorems. I don’t know if this was intentional, but if you put the purple symbol through a binary to text decoder going from left to right and bottom to top, it gives you 042>5.

Hint: we’ll, yeah, I got that! Sheesh.