define consistent_context

Rather than repeating that term in various theorem statements. Probably
more dramatic refactoring could be beneficial, but I don't know what it
would look like at the moment.