The following individuals have contributed code to proof: Christopher Groskopf Jean Jordaan Peter M. Landwehr James McKinney