 					{
 						inference.inputs[0].text = inference.claim.inputs[0].text;
 					}
-					output = inference.inputs[1].text + " implies " + inference.inputs[0].text;
+					output = inference.inputs[1].text + Language.lookup("ArgImplies") + inference.inputs[0].text;
 					inference.inputs[1].forwardUpdate();
 					inference.inputs[0].forwardUpdate();
 			}

					{
						inference.inputs[0].text = inference.claim.inputs[0].text;
					}
					output = "If " + inference.inputs[1].text + ", then " +  inference.inputs[0].text;
					inference.inputs[1].forwardUpdate();
					inference.inputs[0].forwardUpdate();
					break;

	import classes.ArgumentPanel;
	import classes.DynamicTextArea;
	import classes.Inference;
	import classes.Language;
	
	import mx.controls.Alert;
	
	
	public class ConditionalSyllogism extends ParentArg
	{		
