This page has moved to ../../talk/strictideal.html.