Base information:

Word sums:

  • Prop + -> prop