corollary’