Representing Nonterminating Rewriting With 𝐅_2^Μ