backend - cap-theorem