line有parts，两端是点。evenly是很强的约束，不管怎么分，都even。那么端点也要与什么even才行。

那line上面也必有点的parts。这里引进了一个evenly，这跟no parts的约束不同。no parts是个排他的逻辑。evenly却必须定义什么是是，什么是非。没定义line，先定义even，似乎是个loop。

这本书大概是1800年前的英国书，s写成f的横少半边儿。我怀疑是发s和f中间的音。与美国朋友谈论时开玩笑，Jefus bless your finful foul. 大家都笑。

圣诞快乐！