added pp statement
added check for fact existence