crabbydisease22z: ℕ ℝ : - ℂℂℕ?