Quasiquotification