Laws of inclusion and crosscutting