On completeness of reducibility candidates as a semantics of strong normalization (Logical Methods in Computer Science, 2012)