YEAR: 2019 COPYRIGHT HOLDER: Stan Developers and their Assignees ORGANIZATION: Stan Development Team (stan-dev)