Logic_redundancy loading ...