Implicit graph conjecture