revisions: variables in logic