mini-lecture additions