strong from weak funext, close #507