Hsinting1 presentations