What does it mean to say that a digraph has a Hamiltonian circuit?