Review for NeurIPS paper: Measuring Systematic Generalization in Neural Proof Generation with Transformers