WIP: Trying to get nash() right...