If ever you watch a chef making pizza, they often brush some sort of liquid around the edge of the base before putting it in the oven. Does anyone know what this stuff is, or what it is likely to be ? Thankyou.