Generating Exp icit Orderings for No