The [env.theorem] paradigm is now implemented.