|=  *
|=  [a=path b=* ~]
~[ok/(foal a b)]~