added a few definitions