+() and ++() makes sense. About to finish up the Petri Nets section.