Meet Prove & Run at SIdO 2018