provided that ~