theory parse tests pass again