Review for NeurIPS paper: Fast Adversarial Robustness Certification of Nearest Prototype Classifiers for Arbitrary Seminorms