% introduction — to be written from verified results