Lifted Logic 2-14