Al and Andrew talk about coding styles. Are they useful, do they enforce them, what tools do they use, and what coding styles do they use?