Consider a social choice setting in which agents have quasilinear utilities over monetary transfers. A domain D of admissible valuation functions of an agent is called a revenue monotonicity domain if every 2-cycle monotone allocation rule is truthfully implementable (in dominant strategies) and...