no types in the syntax