implying-i- +

more about : implying-i