x s – П П and flip(prod xcon.)