Good catch. The second withPhase(phase: Phase) in class FreshContext can be deleted.