introduce to derive