"T"^^ . "fn15schema: bring to an end"^^ . "v" . . "fn15schema: come to an end."^^ . "end" . . . "end.v" . "end.v"^^ . .