lectures regarding "Building and Deciding.