#annotated-equations