Update hilbert.rb