Verified XXX-buis