Gaps and gap soundness (link)