?- 8 is 6 + 2.