parsing

parse done, or an Arg2pException telling where the text it reads does not parse (what it is): its message is the problem, as Theory: Unexpected token '.'; expected term at 2:9