Title: Debugging CAI