do not link schemes from argument page when they are not formalized