Tested import syntax theory.