<human>: Does "In time, the presbytery would be joined by two more to form a synod (1717) and would eventually evolve into the Presbyterian Church in the United States of America in 1789." correctly answer the question of When did Presbyterianism arrive in America?
OPTIONS:
- yes
- no
<bot>: no