intrinsic myCompletedZ()->SeqEnum
{}
return [];
end intrinsic;

intrinsic myCompletedQ()->SeqEnum
{}
return [];
end intrinsic;