A Detailed Explanation of Automatic Reduction of Positions