Add doc about assertions