HUJI/TAU Winter School on Exhaustivity