first example of nash
more tests for nash