Useful redundancy

Uncategorized