Merge branch 'docs/presentation-dependence-subtheory' into main (resolve conflicts via ours)

Author: hyperpolymath