Non-assumptions
	• Desk need not be initially empty • Stacks may overlap