no redundancy