There must be one Connector shape emanating from a Decision shape for every possible return value.