reform [record_inversion] lemma