Counting and Finding Homomorphisms is Universal for Parameterized Complexity Theory.