or thrown