Esto quiere decir por una parte, que todas las expresiones que pueden derivarse de los mismos son válidas y, por otra parte, que la totalidad de las proposiciones y predicados válidos de ambos sistemas pueden a su vez derivarse bajo la forma de gráficos alfa y beta.