?- X is 6+2.