New relations advice|reads-field, advice|writes-field,
advice-reachable|advice.
Working assumptions wormhole|naive-entry-exit-field,
wormhole|path-entry-exit-field.
Need to update to newer version of EkekoPlugin first.