Variables and Logic