 These represent, respectively, the right to ask the value of the variable (or some characteristic of the value) and the right to tell the value (or to tell some constraint on what the value can be).The asker and teller aspects can be passed around as arguments independently of each other.Neither right implies the other right.