expression -> representation