introduce core extensions