Remove last relation between Completeness and Products