A professional video editor