carol::ipsec start
dave::ipsec start
moon::ipsec start
moon::expect-connection alice
moon::expect-connection venus
moon::ipsec up alice
moon::ipsec up venus