Sketched Run(ADT)s