«
Example.
finite type
[00C1]
(from earlier)
open embeddings that are qc