Department of Computer Science, Harvey Mudd College, Claremont, California, USA.|Pomona College, Claremont, California, USA.|Department of Computer Science, Harvey Mudd College, Claremont, California, USA. hadas@cs.hmc.edu.