Is defined by follows (18/35)

Is defined by follows