;;

parallelOr a b c = a # b # c;

f a = a # a;