  Social Choice theory generalizes voting on one proposal to ranking multiple
proposals. Yet, while a vote on a single proposal has the status quo (Reality)
as a default, Reality has been forsaken during this generalization. Here, we
propose to restore this default social state and to incorporate Reality
explicitly into Social Choice. We show that doing so gives rise to a new
theory, complete with its domain restrictions, voting rules with their
Reality-aware axiomatic properties, and certain game-theoretic aspects. In
particular, we show how Reality can be used in a principled way to break
Condorcet cycles and develop an efficient Reality-aware Condorcet-consistent
agenda. We then discuss several applications of Reality-Aware Social Choice.
