Links for proofy