Thomas_write_rule loading ...