Strong funext from weak