kbear comments on Would a constructive proof of determinism be useful?