String Logic