I think we should also show the "across" expression.
This is very convenient, especially in assertion since it does not require a new function.