Before revision: The remauining conditions are collected in the following definition.
After revision: The remaining conditions are collected in the following definition.