% MEASURE0
AG(EF(#Done_P == 1))