History

for article: Logic redundancy