真偽値を返す関数にはhasとかisとか三単現の同士を使うって既約はわりと一般的?