a b => c 