Users would like to have these convenient abstractions for nets too, because other common network behaviors — bidirectionality, multiple driver resolution, and delays — cannot be modeled with variables. We pr