lattice-path-conjectures