Is defined by follows (3/35)

Is defined by follows