Is defined by follows (10/35)

Is defined by follows