Is defined by follows (8/35)

Is defined by follows