Comment by codehero

You're explanation is not inconsistent with my proposal, but you don't seem to grasp VALIDITY.