Diffractor comments on Counterfactual Induction (Algorithm Sketch, Fixpoint proof)