modification test: F (after E)