renamed terminal for eq. proof