GSW: added discussion of assume statements.