Course work about generating MBFs from n arguments, computing Dedekind numbers.