(imp. & p. p.) Whipped.