Fill in the definition of operations on concrete values