e

every type

    is that satisfyinf
    3:12