rearranging pullbacks and pushouts in reflective subuniverses