Alternatives to Hyperproof — 0-Doubt