Whatever has come to be has already been named, and it is known what man is, and that he is not able to dispute with one stronger than he.