A condition is part of a theory