Stav dette: Combinatorics and Reasoning