Self-note (08.15.2024): need to update this section, redacted previous write up here.