Is defined by follows (5/35)

Is defined by follows