introduced multi-step reduction, re-doing proof