Small Change to ConditionalSyllogism