@J12t Mathematicians vs bureaucrats, if you like.