We affirm the dynamical systems approach taken by Feldman and Levin, but argue that a more mathematically rigorous and standard exposition of the model according to dynamical systems theory would greatly increase readability and testability. Such an explication would also have heuristic value, suggesting new variations of the model. We present one such variant, a new solution to the redundancy problem.