[Logic] Soundness #1