This can just be `[i.free_symbols == set([t]) for i in red]`