Correctness of the Vanilla meta-interpreter and ambivalent syntax