Conditions in Algorithms