My contribution was accepted to MathPie in June in Milan, I am happy to present my Ideas about Modelling and Proofing there.