MMA as an introspection tool

MMA as an introspection tool