There should really be a cleaner way to do this. ```cleanup0``` and ```cleanup1``` is just confusing, as it it requires us to know/define the semantics of ```0``` and ```1``` in this context.