Is defined by follows (6/35)

Is defined by follows