annotated with math (probably)