Logic_redundancy