Completions in realizability by