Write the rules as annotations