Email Post: Modelling of real-world problems is often the starting point for proof