added reduce-implying.py