Annotations for the Gru Project