y = 2x vs. y = 3x.

Published in: J. Symb. Log. (1997)