Hot: mechanized