What Does The Arrow Mean In Logic