I thought Paul Thomas started Vivid and owns it after he retired from movies?