📝temporary repo for notational refactor - View it on GitHub