Add assq and assv