Retracted claim of correctness based on piecewise continuity, started "Implementations"