Fig 1: Lazard assumptions