Review for NeurIPS paper: Incorporating Interpretable Output Constraints in Bayesian Neural Networks