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