Setting up Types to become logically excluded instead of physically