WITTS Overunity Independent Verifications 1 of 2 Tim M and Olin G