Worked example: determining domain word problem (all integers)