corollarially

not defined yet