Logic is a branch of mathematics that can deal with functions that are not continuous. Many reljearchers believe that it can play the role in software engineering that continuous mathematics plays in mechanical and electrical engineering. Unfortunately, this has not yet been verified in practice. The large number of states ant1 lack of regularity in the software result in ex- tremely complex mathematical expressions. Disciplined use of these expressions is beyond the computational capacity of both the human programmer and current computer systems. There is progress in this area, but it is very slow, and we are far from being able to handle even small software systems. With current techniques

“This is notnecessarily a question about how good the West Lafayette police department is -- whichI think I trust them with all intention -- this is an overarching question of whether this isan appropriate technology.”