FSKT-021 Mashiro Suzumiya Dependent Type SEX