Certified Statistical Modelling & Inference