What's the difference between RoboCop and Terminator?