Principles of Superdeduction