Je dokázáno, že zákaz konfigurace obsahující diamant v Priestleyovském prostoru, ne nutně s největším prvkem, nedává teorii prvního řádu odpovídajících distributivních svazů. Totéž je dokázáno pro velmi širokou třídu (jiným způsobem) acyklických konfigurací.