The goal of this paper is to give a precise, formal account of certain fundamental notions in minimalist syntax, including Merge, Select, Transfer, occurrences, workspace, labels, and convergence. We would like this formalization to be useful to minimalist syntacticians in formulating new proposals and evaluating their own proposals, both conceptually and empirically.