dērīsĭo, ōnis, f. [derideo], a laughing to scorn, mockery, derision (late Lat. for irrisio, illusio), Arn. 7, p. 239; Lact. 4, 18.