Okay, I see why that "correlated derived table" works.  It doesn't need to be a derived table, and the query optimizer automatically reduces it to a simple correlated subquery.