This page has moved to
/invariants/
.