N2923

Specifying the Complexity of size() (Revision 1)