Multimodule logics removed