[VariableScope_TripleConstraints.jpg]