assignment 1-2. no type checking necessary?