Case 1: x ?ran r implies append(<x> ^ ?, r) = append (?, r)

Previous slide Next slide Back to first slide View graphic version