soundness postulation

gerg.dev