The verifier needs to be renamed (Maybe DeutschJozsaVerifier?) and all of the source/links/etc text needs to be filled in.