A Borel subset B of the plane is
constructed which is small from the Lebesgue measure point of view and large in the
sense of the Baire category. All vertical sections of B have measure zero, and
for each Borel function f : R → R for all but countably many y the set
{x ∈ R : (x,f(x) + y) ∈ B} is comeager.