Subdifferentials and Penalty Approximations of the Obstacle Problem | Synapse