right before debugging phi