Completeness of compositional translation door W.O. Huijsen