Hello! My name is Karen but on HOL I am known as Liz Porter(li684). The series of webpages you will see on this site is mainly dedicated to my experience in HOL.