formal expression