example: deduce