small_nat + Mat