added II.1.{4, 5, 6 7, 16cde, ~17}