get rid of one let
oh i can't do this because defn wants symbol and I'm giving it a lexical
that resolves as a symbol
ah and this would've faqing solve the isAssumptionFailed issue and also
not using eval
Revert "oh i can't do this because defn wants symbol and I'm giving it a lexical that resolves as a symbol ah and this would've faqing solve the isAssumptionFailed issue and also not using eval"

This reverts commit 85219208007fff6e7a11fb579d7125c73a6dc597.
meh meh