removed Nat and Fin