What is a corollary?