Resolution example
		To think about: what does an empty proposition mean?