Writing An Argument In Logic