It seems like it’s a good fit. Proving equivalence is much easier than writing a spec without a golden reference.