actually, (define x) should return an error!