Appendix to the Safe Differentiable Programming paper