Today the VerCors team, and FMT as a whole, organized a goodbye party for Raúl E. Monti. Raúl joined the VerCors team on the 3rd of June 2019, and has since then successfully helped us maintain and further develop the VerCors toolset. Raúl's next challenge will be in Veldhoven at ASML. We thank you for your contributions, Raúl, and wish you best of luck at ASML!