Soundness Works

building it