This page has been moved, the new location is reasoning_using_computables.