implication operator

welcome to shbcf.ru