そういう「式」も解析接続で正当化されてる。まあ不思議さは消えないが。