making progress
add auxillary definitions