proper ty eq I