u Monster (Explicit)

assumptions (Explicit)