Lifted Logic Mm