This page has moved to /optimization/notebooks/2/logic/.