a :-
   .. = .. .
b :-
   ::.. .