Is defined by follows (7/35)

Is defined by follows