Document new assumption