. . "In another example, the specification of data rates and data types by a designer may be under-constrained." . . .