Comment by qtplatypus

This explains the nature of fixed point type theory and its application to trans rights.