Symbol: pr_boolean