Why is the minimum cardinality of Extension.value in the device used extension 0? Under what condition would you use the extension and nto include a reference to a device that was used? Should this be 1 instead given that the Observation profile that uses the extension has a cardinality of 1..* already?