. . "You are strongly in support of Church discipline, but if the Church is the set of the elect, there is no such thing as discipline, because no one who is elect can be put ???out??? of the Church, i.e. can be put out of the set of the elect." . .