Set of Support, Demodulation, Paramodulation: A Historical Perspective