respect @ galois. Great man. RIP