giugas conjecture