= the oracle: and: = What does it mean respectively
=: = Should be the equivalent of a: b b show a bind variables, bind variables when you need to perform
: = equivalent to a general programming language in the assignment a: = 1 is about the number 1 is assigned to a variable
: = equivalent to a general programming language in the assignment a: = 1 is about the number 1 is assigned to a variable