Developer's note
Some contrivances for
HPhi (only in Jananese)
How to construct TPQ state for Sz-conserved systems