About laziness results of 164

Relevance