Thus each truth discovered was a rule available in the discovery of subsequent ones.