But we can create it as an helper, along with `IE_list`