Rule of necessity