Links for w-formula-spec