[] (read_free -> !read_free_race)