Work work work.
Work work work.
Redex traces integration!