framed simplifymult list x, list y cond