Häraf följer att antingenhafva