In mathematical work we often need a better language or notation