he whose ox is gored