🚧 Annotations to Annotations 🚧

This is about annotations to Martin Gardner’s annotations. And it is under construction.