Includes topics: Cyclic constraint evaluation, without OO constraints, flaws of the system, and TCT system.