I logisk slutföljd framställer sigharwid