redundant include of redundancy