now with references added in proofs stage

rather, to be added