Construction of Outcome Functions Guaranteeing Existence and Pareto Optimality of Nash Equilibria | Synapse