We can predict the digits of pi with a formula, to me that counts as grasping it