Uniqueness of solutions of semilinear Poisson equations | Synapse