ltlmissinnocent‘s Following are private.