Tatsuaki Okamoto An Efficient Divisible Meaning