Assertion: certificate's value | /r/HasAspect | at most log n bits
Facets:
value: at
type: DEGREE
Source sentences:
text: Since each value has at most log n bits, this also demonstrates that the certificate has a size of O((log n)2) bits.