Ask @evancedric:

but if b is after a, why did the chicken cross the road?

because by crossing the road, it is confirming that it is actually going from a(the side of the road it crossed from) to b(the side of the road it crossed to) and when the chicken successfully crosses the road, it has successfully went from a to b which proves the previously questionable condition that b is indeed after a.

View more