Det måste antagas att en sann ochredig