begin
A (p1 ^ []!p1)
end