semantic (but not logical) error