revised/added propns in crime3.lisp, created first test crime3c.lisp.