The Resolution Principle (Preliminaries)