“In the "weak form," it is a sound, harmless, and on occasion useful application of elementary logic: if x is a necessary condition for the existence of y, and y exists, then x exists.