Introduce order completion