Prov + machines