制約ブロックにおいて、複数の変数（a, b, c）を持つ数式を記述する場合、a, b, cは何として定義するか。

ブロックが他のブロックのプロパティを「再定義（Redefine）」する場合、元となるプロパティはどうなるか。