rewrite on 7/15; need only spec and conclusion