formal expressions