introduce A with B=introduce into B A,