conditional elemination

join shbcf.ru