From the 2 definitions above, it's clear that the entire