Is defined by follows (16/35)

Is defined by follows