¹This model is available in the source repository examples/poly.ka.