more setup for mini-lecture