Exceptional inverse image functor
 
x
OK