Text this: Lattices of properties of countable graphs and the Hedetniemi Conjecture