add ref to proof