In a setting where agents have quasi-linear utilities over social alternatives and a transferable commodity, we consider three properties that a social choice function may possess: truthful implementation (in dominant strategies); monotonicity in differences; and lexicographic affine...