Worked example: determining domain word problem (positive integers)