RCS versus University of Glasgow verification