a b => c 
ab => cd 