No matches were found for subject:"\[racket\] %= doesn't like logic variables bound to numbers\?"