Häraf syntes oss med logisknödvändighet