renasy: ℕ ℕ ℝ   . ?. . ?