Added testNoDisprove