logical equalの単位元がtrueだからp==trueなんていうのはp*1とか書いてるのと同じぐらい冗長