start state now indicated by black circle and connection