^|, dropped lambda.