Added frame rule (without proof).