Title: Annotated Navigation Rules