"[Marty typing]"