All must be true: