p([[A, B]]) :-
  A = [B].