1. boundedness.md
  2. fixed_sym.md
  3. uniqueness.md