Adds concerns about the current setup
Adds wishful thinking on Weil cohomologies

Adds wishful thinking on Weil cohomologies as functors of fibred categories.
Hopefully this works out!