document an assumption