Just working out the example a bit more could be sufficient.