Mentions
CT1992 has not yet been mentioned.