Pattern matching

  • add term