Before revision:  ( 3 ) If any node or edge appears in a given level, then they also appear in all deeper levels;
After revision:  ( 4 ) If any node or edge appears in a given level, then they also appear in all deeper levels;