What Is Mason Short For