Is defined by follows (4/35)

Is defined by follows