Lifted Logic 19