Soundness by Denda in Zürich