hui.ide samt ku : na upte säkra bewisom