updates to spec from class today -- John needs to revise this