Fixed vAppend + quantifier