そのようなすべての関係式を導出できることが証明された族は発見されていないが、全関係式を導くと予想されている関係式として