Product Abstract Tree Introduction