The principle of double effect.