BADMNRCH and Realnamejames and Nicklaus Gray