Started work on the Witness Algorithm