Computational Preliminaries