You forgot the :nat XD