$ 0 0 A is a straight forward choice because the moment we negate A then the entire argument falls apart.