terminals for eq. proof