It is slightly unclear. Shouldn't this be computed rather than asserted ?