Lifted Logic MDM_4