Adjusted comment. Renamed overlapping predicate
Moved to history subfolder
Adjusted header comment again!