or-integration

(1)