redex: elminate another #f/failure confusion