Enhanced "Connect to another node"
Either allow "Connect to another node" to have bi-directional arrows showing mutually dependent premises, or offer a non-arrowed node connecting line.
3
votes

Either allow "Connect to another node" to have bi-directional arrows showing mutually dependent premises, or offer a non-arrowed node connecting line.