Review for NeurIPS paper: STLnet: Signal Temporal Logic Enforced Multivariate Recurrent Neural Networks