a b => 1