extensions, conclusion, tweak in assumptions