Non-assumptions
	• Desk need not be initially empty