Generation of negative exmaples corrected.