Lexington Catholic versus Mason County