De hecho, esto se hace evidente cuando vemos que el programa ofrece, de entrada, la posibilidad de definir tres tipos de anotaciones: comentario, método y teoría.