added few ''design goals'' to pet.tex