Adding assumption sort