On completeness and parametricity in the realizability semantics of System F (Logical Methods in Computer Science, 2019)