Go back to the tag's page.
Tags: Added new tags
A variant of descending fp things Namely, we look at lfp things over S which are qcqs...