"Model theory of j-invariant"