Added testing information for contradiction, etc.