style change--assert programming assumptions