arrow logic