Searching protocol for "atomic design"
RAII with smart pointers for safe, expressive C++.
Galois adjunction between spaces.