More totality theorems for the parser.