Is defined by follows (28/35)

Is defined by follows