And these techniques have become increasingly powerful and, and popular, precisely because you're able to deal with, with the numbers without having to get into too much exponential combinatorial blowup. 