:: (a1_ -> _ % Ba % D) _ -> _ % Ba1 % D_ -> _ % Ba % D

No results found