Misc fixed for Examquestion - show & kewpa18(discard witness)