Dear AlimaeHP: your definitions are indeed better than
the ones I found.