Review for NeurIPS paper: Counterexample-Guided Learning of Monotonic Neural Networks