Okay, so the magic ingredient is that variables that are marked "stable" are treated specially. Nice!