Unquoting


How do we get from

{chocolate is a food} is true
to
chocolate is a food
?