Refactored all_roots_valid?