Ex algebra  (17)