Introduction operator