(the main text is elsewhere)