Soundness theorem

  1. REDIRECT Soundness