link ../../../../../../../plan/proof/doc/