Reduction, Elimination, and Firewalking