delta conversion

delta conversion

delta reduction