Added semantics for delayed permutations