Question

Write the inference you get from X:=(78).

Answer 1

Value 78 is bound to the name X.