Comment by chrisrogers

One of the implementations underwent analysis.