https://semit.refconf.com/page_57.html