Added relation for simple reductions and improved step relation.