Alternatives to Empirical Security — 0-Doubt