(16)-(20)