いっそ極限まで記号化したらどこまで見分けがつくかやってみたい