HOT (Extended Version)

HOT Damian Force 1605196800000