Warehouses and Forklifts: Keeping Everything in Check