principal of inclusion