Spec core extensions