Is defined by follows (34/35)

Is defined by follows