I use the fact that it's defined to 0 in the code.