A fragment of MMT.