some exercises in $1.1