Round-six lemma `recs_nodes`