There are several equivalent ways to constrain a combinatorial path from an input port to an output port.