fxdemo:02-part:15-logical-rules-and-constraints:start