Examples from lecture 6 -- actualized