Counting Monotone Lattice Paths (Forced Waypoints)

A monotone path that takes a right-steps and b up-steps can be arranged in C(a+b, b) ways; to force a path through a checkpoint, count each leg separately and multiply.