more mini-lecture additions