important changes in order logic