Add precondition check: this feature is optional