The "x", "y" and "z" are local variables. The enter keyword specifies the input parameters to the pattern, while the exit keyword specifies the result of the function. Between the two, the do keyword prefixes the sequence of operations to be made. The conditional block is delimited by "(if" and "if)", that is the if keyword becomes part of the opening and closing parenthesis. Truth is checked through "// True" within an if block. Finally, the assignment operator "->" assigns the value on its left hand side to the variable on its right hand side.