Clean redundancies in Nat.