Theory Manual