?- 8 is 6+2.