Changes to intro, minor changes to eval, protocol and design