Pivotal for an increasing event (source code)

= Pivotal for an increasing event

A coordinate is pivotal for an increasing event in a configuration when changing only that coordinate changes whether the event occurs. Its pivotal probability is the coordinate's influence.