Is defined by follows (2/35)

Is defined by follows