interchange

(Se kommutativ kontrakt)