In the cancer hallmark network framework, cancer hallmarks can be represented by molecular networks which can be quantified and modeled computationally.
This follows from the idea that existentially quantified statements have existential import (i.e. they imply the existence of something) while universally quantified statements do not.