It looks like you must have clicked an old link or discovered and unexpected typo.

CBMC.com has recently been completely redesigned and some items were rearranged and moved. Please use the menu at the top of this page to locate what you were looking for or click here to return to the home page.