Back

P^1, P^2, P^3. Each dummy consists of two Witnesses to the left.