Maybe I, [@RokkuHoshi] and [@cpldingo] could collaborate. However we'd need to know what crazy-Hirsch's properties are I guess.