1. 0-def/
  2. 1-prop/
  3. scalar_mat.md