Rule of necessitation