Device-State, Devices and Precedents.