I logisk slutföljd framställer sighärvid