Definition of sloppy second

[removed]