added method for eliminating implies operator