Is defined by follows (32/35)

Is defined by follows