What about elders and ministers today who are in progressively leaning denominations who argue: "I have my church and my presbytery - we are orthodox - we don't endorse what's going on in the general assembly. As long as they don't require us to do anything we don't agree with, we will just hang around."? This is not an option. People were saying this in Machen's day. And they all paid a bitter price for it. This is functional independency, not presbyterianism. As such, it is not an option. Playing a clip from this excellent program by Reformed Forum: https://reformedforum.org/podcasts/ctc819/