CXACXC Sofas with Verified Specifications