The A,B,C of pcf : a companion to pcf theory.