The condition can be taken above the sorts.