symbols are not parameterized