Makes corollaries more specific.
Adds some basic definitions.