#semimodular