The authors agree that this paper presents a nice tool that generalizes the IBP method for certifying simple neural nets.