a problem of extensibility