finally, mut and phi0