Shen will pass booleans as symbols to eval-kl