Re: Functionally complete/universal basis for graph homomorphisms?