Controlling Rasperry Pi Pin from Arduino

As long as it's impossible for the Arduino to ever set its output pin high.