Text this: On completeness of reducibility candidates as a semantics of strong normalization