doc comment detailing contract