No need to change the representation of result.