https://asplos.dev/wordpress/2022/10/24/cse231-paper-reading-formal-requirements-for-virtu/