  We suggest to look at formal sentences describing complex algebraic varieties
together with their universal covers as topological invariants. We prove that
for abelian varieties and Shimura varieties this is indeed a complete
invariant, i.e. it determines the variety up to complex conjugation.
