Collective choice under dichotomous preferences

We reach an impossibility if, in addition, each agent's utility is at least 1n, where n is the number of agents; or is at least the fraction of good to feasible outcomes. We conjecture that no ex ante efficient and strategyproof mechanism guarantees a strictly positive utility to all agents, and prove a weaker statement.