Law of detachment