added deducorrect examples