[limited types] Don't use point as an example per cgay.
[limited types] Link to SMT explanation.