HOL421: Teahouse Owner