Be rigorous about CAC