Traits [Sat00 1.11]
Fix readme.
Constraints [Sat00 1.11]