pub trait Complete: State<SrcFactor: IsSetSrcFactor, DstFactor: IsSetDstFactor, Operation: IsSetOperation> { }