lecture 02: add cond-> and cond->> slides