This lemma makes it very easy to add Q -∗ to the postcondition:
Q -∗
iApply (wp_frame_wand with "HQ").