Assumptions
	• Document – Corresponding electronic copy exists – No duplicates of same document • Motion – 3 event types: move/entry/exit – One document at a time – Only topmost document can move