write_redundantinfo successfully implemented