restored @caminati's comment about weaker assumptions