See discussion at https://github.com/stan-dev/design-docs/pull/42
See discussion at stan-dev/design-docs#42