pub trait Complete: State<ForResourceCreation: IsSetForResourceCreation, ForDeviceLoss: IsSetForDeviceLoss> { }