Is defined by follows (22/35)

Is defined by follows