Documented approach to conditional constraints