rule of necessitation