Is defined by follows (25/35)

Is defined by follows