I'm almost 100% sure I could trivially prove this behavior wrong with a test.

-[Unknown]