⁴Although MetaBorg contains a gensym function, it is unclear whether this uses the semantic knowledge of the host language to generate guaranteed unique variable names in a given scope.