not disj, following Fig 10