a b: c def: