Towards parallel server proof construction