Meet Prove & Run at FIC 2019