The Theory of Universal Graphs for Infinite Duration Games (Logical Methods in Computer Science, 2022)