User blog comment:Hyp cos/Are these functions well-defined?/@comment-25601061-20171023020438

You don't use well-defined in this case, you use terminating