Free variables occur frequently in mathematics and computer science with ad
hoc and altering semantics. We present the most recent version of our
free-variable framework for two-valued logics with properly improved
functionality, but only two kinds of free variables left (instead of three):
implicitly universally and implicitly existentially quantified ones, now simply
called "free atoms" and "free variables", respectively.