A Dyck path with 2k steps and e flaws is a path in the integer lattice that starts at the origin and consists of k many ↗-steps and k many ↘-steps that change the current coordinate by (1, 1) or (1,−1), respectively, and that has exactly e many ↘-steps below the line y = 0. Denoting by D 2k the set of Dyck paths with 2k steps and e flaws, the Chung-Feller theorem asserts that the sets D 2k, D 1...