The paper "Joining Forces! Reusing Contracts for Deductive Verifiers through Automatic Translation" by Lukas Armborst, Sophie Lathouwers and Marieke Huisman, has been accepted at iFM 2023. The corresponding artifact has also been successfully checked for all three badges: Functional, Reusable and Available.