ANNOTATED RULES