This book is about a theory of language that combines two observations (1) that language is based on an extensive cognitive infrastructure (cognitivism) and (2) that it is functional for its user (functionalism). These observations are regarded as two dimensions of one phenomenon that both need to be accounted for, simultaneously and coherently, in accounting for language.