MR.1131 (Explicit)

FDH (Explicit)