decreasing pattern rule - Search