https://frisco.org/mainline/2017/01/16/sw9-306-3/