Three hearts, nine questions. Track the type of every value through every branch, exactly like the compiler does.