Annotations on Legalkite