spans in Nat and (:-)