Nash point should of course be: Nash product