To see how accessibility follows from these definitions, the critical junctures are the points at which extensions of embedding functions are called for. For example, consider a schematic DRS with a conditional in it: