Hot: synthmodular