fix bug in truth matching
remove debug printouts