Module demo.paren.

Rule join given a, b, produce:
  Return 0.