realized the recursive paradox solver is broken...