(no subject)

Finally, I've found use for generalized elements! For example, in a trade-off product components A x B come from a generalized budget a: T -> A; b: T->B. In other cases, they come from "nature" or a specific design constraint.