The Hodge conjecture is tough because complex submanifolds are certainly rigid objects (since They're defined by polynomials). In fact, it is very difficult to construct complicated submanifolds, and you can find not many of them. Proving that submanifolds exist with out constructing them (a very useful kind of oblique reasoning) https://insidethesneakerbox.com/