Lifted Logic M2