People who run unopposed for the Philadelphia City Council are elected to the positions they run for in the same year.
∀x ∀y (RunUnopposedFor(x, philadelphiaCityCouncil, y) → ElectedTo(x, philadelphiaCityCouncil, y))