EDIT 2/19/25: fix some small accuracy issues in terminology