Removing Redundancy

Oops. Looks like a double-paste.