Prove & Run Joins Embedded France