Real is Rare (Explicit)

Assumptions (Explicit)