como é que a ct simplesmente não está a descobrir a interseção entre Ai e cripto?