I think this is correct, though not 100% certain.