logical predicate

visit shbcf.ru